The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Alexandra Silva Books

Results for Alexandra Silva

Showing 1 to 3 of 3 results
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... 10321 (Lecture Notes in Computer Science) Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... 10321 (Lecture Notes in Computer Science) by Ahmed Bouajjani, Alexandra Silva

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... 10321 (Lecture Notes in Computer Science)

by Ahmed Bouajjani, Alexandra Silva


ISBN 13: 9783319602240

Format: Paperback (260 pages)
Publisher: Springer
Published: 28 May 2017

Save for later

 
New : $56.58  
New : $56.58
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings: 13038 (Lecture Notes in Computer Science, 13038) Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings: 13038 (Lecture Notes in Computer Science, 13038) by Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings: 13038 (Lecture Notes in Computer Science, 13038)

by Alexandra Silva,Renata Wassermann,Ruy de Queiroz


ISBN 13: 9783030888527

Format: Paperback (435 pages)
Publisher: Springer
Published: 06 Oct 2021

Save for later

 
New : $80.41  
New : $80.41
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science) Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science) by Alexandra Silva,K. Rustan M. Leino

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

by Alexandra Silva,K. Rustan M. Leino


ISBN 13: 9783030816872

Format: Paperback (966 pages)
Publisher: Springer
Published: 17 Jul 2021

Save for later

 
New : $45.33  
New : $45.33